課程名稱 |
系統晶片驗證 Soc Verification |
開課學期 |
99-2 |
授課對象 |
電機資訊學院 電機工程學研究所 |
授課教師 |
黃鐘揚 |
課號 |
EEE5023 |
課程識別碼 |
943 U0250 |
班次 |
|
學分 |
3 |
全/半年 |
半年 |
必/選修 |
選修 |
上課時間 |
星期五2,3,4(9:10~12:10) |
上課地點 |
電二104 |
備註 |
總人數上限:50人 |
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/992socv |
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
1.Verification problems in SoC Designs.
2.Block, system, vs. SoC Verification.
3.Simulation-based verification. Testbench Authoring.
4.Assertion-based verification (ABV). Property specification language.
5.Simulation speed-up by emulation. Prototyping verification.
6.Formal verification techniques. Automatic test pattern generation (ATPG). Boolean Satisfiability (SAT). Binary Decision Diagram (BDD).
7.Semi-Formal verification.
8.Equivalence checking. Property checking.
9.Future SoC verification challenges and directions.
|
課程目標 |
|
課程要求 |
1.Homework 30%
2.Mid-term exam 30%
3.Final exam or project 40%
|
預期每週課後學習時數 |
|
Office Hours |
|
指定閱讀 |
|
參考書目 |
Textbook: 1.“System-on-a-Chip Verification - Methodology and Techniques”, Prakash Rashinkar, Peter Paterson, and Leena Singh, Kluwer Academic Publishers.
2.“Assertion-Based Design”, Harry Foster, Adam Krolnik, and David Lacey, Kluwer Academic Publishers.
3.“Writing Testbenches: Functional Verification of HDL Models”, Janick Bergeron, Kluwer Academic Publishers.
4.Class handouts/slides.
|
評量方式 (僅供參考) |
|
週次 |
日期 |
單元主題 |
Week 1 |
2/25 |
0. Class Introduction
1. Introduction to Design Verification |
Week 2 |
3/04 |
2. Overview of Functional Verification Techniques |
Week 3 |
3/11 |
2. Overview of Functional Verification Techniques |
Week 4 |
3/18 |
2. Overview of Functional Verification Techniques |
Week 5 |
3/25 |
3. Formal Verification Basics |
Week 6 |
4/01 |
4. BDD-Based Verification |
Week 7 |
4/08 |
4. BDD-Based Verification |
Week 8 |
4/15 |
4. BDD-Based Verification |
Week 9 |
4/22 |
Mid Term Exam (Class resumed after exam) |
Week 10 |
4/29 |
5. Boolean Satisfiability (SAT) Solver |
Week 11 |
5/06 |
5. Boolean Satisfiability (SAT) Solver |
Week 12 |
5/13 |
6. SAT-Based Verification |
Week 13 |
5/20 |
6. SAT-Based Verification |
Week 14 |
5/27 |
7. Applications of SAT |
Week 15 |
6/03 |
7. Applications of SAT |
Week 16 |
6/10 |
DAC week (no class) |
Week 17 |
6/17 |
7. Applications of SAT |
Week 18 |
06/24 |
Final Exam |
Week 19 |
06/30 |
Final Project Presentation |
|